<?php
$php5Ext = ".php";
$php5_sef = true;
